Performance modeling for SPMD message-passing programs

Performance modeling for SPMD message-passing programs

A Performance Modeling System for Message-Passing Parallel Programs

We present a new performance modeling system for message-passing parallel programs that is based around a Performance Evaluating Virtual Parallel Machine (PEVPM). We explain how a PEVPM model for a particular message-passing program can be developed by inserting PEVPM performance directives that describe the serial segments of computation and the message-passing events that the program contains...

Modeling Asynchronous Message Passing for C Programs

This paper presents a formal modeling paradigm that is callable from C, the dominant language for embedded systems programming, for message passing APIs that provides reasonable assurance that the model correctly captures intended behavior. The model is a suitable reference solution for the API, and it supports putative what-if queries over API scenarios for behavior exploration, reproducibilit...

Performance Modelling of Message-passing Parallel Programs

ix

Supporting Self-Adaptivity for SPMD Message-Passing Applications

Real parallel applications nd little beneets from code porta-bility that does not guarantee acceptable eeciency. In this paper, we describe the new features of a framework that allows the development of Single Program Multiple Data (SPMD) applications adaptable to different distributed-memory machines, varying from traditional parallel computers to networks of workstations. Special programming ...